COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00005 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CApril 8, 1975



Dr. Steven Zilles
IBM Dept K-51, Bldg 282
Monterey & Cottle Rd.
San Jose, Cal  95193

Dear Dr. Zilles:

\JI am an old friend of Barbara Liskov and have recently been pestering
her about abstract data structures. We seem to think quite alike about
abstraction and programming philosophy.

My interest is two fold: research
--more about that in a minute-- and teaching. I've (almost) sold McGraw-Hill
a book nominally on LISP, but in truth, a book about abstraction and
data structures. I'm inflicting great pain  on a class at San Jose State.
The research interests grow out of the book and deal with specification languages,
interactive programming  and correctness. 
In particular, I think that there is sufficent technology, and certainly
sufficient justification, to construct a programming environment which will
support (indeed,  perhaps enforce) good program design and lift 
techniques of verification up to the construction phase.

Finally to the point of this letter: CSG memo117 heralds the approach of your
thesis. I would most certainly like to receive a copy when it is available.
The second point of this letter is that I may be interested in  a job. 
If
know of openings at IBM San Jose 
in areas related to my research desires I would be interested in hearing about them.
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Lab

\←S\→L